Entrez un mot ou une phrase dans n'importe quelle langue 👆
Langue:
Traduction et analyse de mots par intelligence artificielle ChatGPT
Sur cette page, vous pouvez obtenir une analyse détaillée d'un mot ou d'une phrase, réalisée à l'aide de la meilleure technologie d'intelligence artificielle à ce jour:
- comment le mot est utilisé
- fréquence d'utilisation
- il est utilisé plus souvent dans le discours oral ou écrit
- options de traduction de mots
- exemples d'utilisation (plusieurs phrases avec traduction)
- étymologie
Qu'est-ce (qui) est Винтовое исчисление - définition
Винтовое исчисление
раздел векторного исчисления (См. Векторное исчисление), в котором изучаются операции над винтами. При этом винтом называется пара векторов {a, b}, приложенных началами к одной точке О и удовлетворяющих условиям: при переходе к новой точке O' вектор а не изменяется, а вектор b заменяется вектором b' = b-[p, a], где р = OO'. Понятие винта используется в механике (равнодействующая f системы сил fi и главный момент m этой системы относительно точки системы образует винт {f, m}), в геометрии (в теории линейчатых поверхностей). В. и. было создано (1895) русским математиком А. П. Котельниковым.
Типизированное лямбда-исчисление
Типизированное лямбда-исчисление — это версия лямбда-исчисления, в которой лямбда-термам приписываются специальные синтаксические метки, называемые типами. Допустимы различные наборы правил конструирования и приписывания таких меток, они порождают различные системы типизации.
Лямбда-исчисление
Ля́мбда-исчисле́ние (λ-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем для формализации и анализа понятия вычислимости.
Wikipédia
Винтовое исчисление
Винтово́е исчисле́ние — раздел векторного исчисления, в котором изучаются операции над винтами.
